Effect of Enameling on the Strength and Dynamic Fatigue of Soda–Lime–Silica Float Glass

The effect of a glass enamel coating on the strength and fatigue behavior of float glass was investigated. Commercially available enamel that was comprised of Cu₂Cr₂O₄ pigment particles in a bismuth-zinc borosilicate glass matrix was applied to a soda–lime–silica float glass via screen printing, followed by fusion at elevated temperature. Strengths of the enameled specimens were evaluated in biaxial flexure using a ring-on-ring (ROR) test geometry, and the data were analyzed using a conventional two-parameter Weibull distribution. Enameling was found to significantly degrade the strength of the float glass. There was no statistical difference in the characteristic strengths of samples enameled on the air side (66 MPa) compared with samples enameled on the tin side (61 MPa) of the float glass. Fractographic analysis revealed that the failures in the enameled float glass samples initiated at pores and pigment aggregates in the enamel, whereas failures in float glass samples initiated solely from surface flaws. Dynamic fatigue tests were performed on enameled float glass and indented float glass samples to determine the effect of the enamel on the stress corrosion behavior of the enameled components. There was no statistically significant difference between the stress corrosion exponents for the float glass and enameled float glass specimens.     

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution

The class ${\mathcal{SLUR}}$ (Single Lookahead Unit Resolution) was introduced in Schlipf et al. (Inf Process Lett 54:133–137, 1995) as an umbrella class for efficient (poly-time) SAT solving, with linear-time SAT decision, while the recognition problem was not considered. ?epek et al. (2012) and Balyo et al. (2012) extended this class in various ways to hierarchies covering all of CNF (all clause-sets). We introduce a hierarchy ${\mathcal{SLUR}}_k$ which we argue is the natural “limit” of such approaches. The second source for our investigations is the class ${\mathcal{UC}}$ of unit-refutation complete clause-sets, introduced in del Val (1994) as a target class for knowledge compilation. Via the theory of “hardness” of clause-sets as developed in Kullmann (1999), Kullmann (Ann Math Artif Intell 40(3–4):303–352, 2004) and Ansótegui et al. (2008) we obtain a natural generalisation ${\mathcal{UC}}_k$ , containing those clause-sets which are “unit-refutation complete of level k”, which is the same as having hardness at most k. Utilising the strong connections to (tree-)resolution complexity and (nested) input resolution, we develop basic methods for the determination of hardness (the level k in ${\mathcal{UC}}_k$ ). A fundamental insight now is that ${\mathcal{SLUR}}_k = {\mathcal{UC}}_k$ holds for all k. We can thus exploit both streams of intuitions and methods for the investigations of these hierarchies. As an application we can easily show that the hierarchies from ?epek et al. (2012) and Balyo et al. (2012) are strongly subsumed by ${\mathcal{SLUR}}_k$ . Finally we consider the problem of “irredundant” clause-sets in ${\mathcal{UC}}_k$ . For 2-CNF we show that strong minimisations are possible in polynomial time, while already for (very special) Horn clause-sets minimisation is NP-complete. We conclude with an extensive discussion of open problems and future directions. We envisage the concepts investigated here to be the starting point for a theory of good SAT translations, which brings together the good SAT-solving aspects from ${\mathcal{SLUR}}$ together with the knowledge-representation aspects from ${\mathcal{UC}}$ , and expands this combination via notions of “hardness”.     

Structure–property relationships of poly(urethane urea)s with ultra‐low monol content poly(propylene glycol) soft segments. I. Influence of soft segment molecular weight and hard segment content

Structure–property relationships in poly(urethane urea)s synthesized with ultra‐low monol content poly(propylene glycol) soft segments were investigated as soft segment molecular weight (2000, 4000, and 8000 g/mol) and hard segment content (6.3 and 9.0 wt %) were varied. Morphological features such as interdomain spacing and interphase thickness were quantified and revealed with small‐angle X‐ray scattering (SAXS) and atomic force microscopy (AFM). The thermal and mechanical behavior was assessed with a dynamic mechanical analyzer (DMA) and by differential scanning calorimetry (DSC) and stress‐strain tests. Hard segment content, over the limited range studied, had little effect on the morphology and soft segment thermal and mechanical properties. The molecular weight of the soft segments had considerably more influence on the morphology and mechanical properties. Increasing soft segment molecular weight resulted in greater interdomain spacings, as shown by SAXS, and a noticeable change in the structure, as shown by AFM. Additionally, as soft segment molecular weight decreased the soft segment glass transition broadened and rose to higher temperatures. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 84: 229–243, 2002; DOI 10.1002/app.10168     

A comparison of atomic force microscope friction and phase imaging for the characterization of an immiscible polystyrene/poly(methyl methacrylate) blend film

Three different forms of atomic force microscope (AFM) measurement, topography, friction force and phase imaging, have been used to investigate the surface morphology and local composition of an immiscible polystyrene (PS)/poly(methyl methacrylate) (PMMA) blend film. This sample forms discrete, micron-size domains in a continuous matrix, which is attributed to the segregation of PMMA in PS. When the samples were imaged in air, contrast in friction and phase images was caused by variations in sample topography only. When the samples were imaged under water, however, both friction and phase imaging yielded non-topographic contrast between domains. We ascribe the contrast in both of these imaging modes to preferential softening of the hydrophilic, PMMA-rich domains and to stronger tip-sample adhesive forces, highlighting the AFM's utility for probing local elastic properties and for compositional mapping of soft polymer samples.     

Lymphatic fatty acids from rats fed human milk and formula containing coconut oil

Human milk and infant formula containing coconut/soy oil were infused into the duodenum of rats to determine the incorporation of capric, lauric, myristic and palmitic acids into lymphatic triacylglycerol (TAG). The proportion of capric and lauric acids in the lymphatic TAG reflected the fatty acid composition of the diet. Based on positional analysis, it appears that more than 50% of the capric and lauric acids could have been absorbed from the intestine assn-2 monoacylglycerols. In the rats fed human milk, 50% of palmitic acid in lymphatic TAG was in thesn-2 position. Because of the nonrandom distribution of palmitic acid in the lymphatic TAG, the nonspecific lipase in human milk, i.e., bile salt-stimulated lipase, did not appear to be a factor in milk lipid digestion.     

LoVis: Local Pattern Visualization for Model Refinement

Linear models are commonly used to identify trends in data. While it is an easy task to build linear models using pre‐selected variables, it is challenging to select the best variables from a large number of alternatives. Most metrics for selecting variables are global in nature, and thus not useful for identifying local patterns. In this work, we present an integrated framework with visual representations that allows the user to incrementally build and verify models in three model spaces that support local pattern discovery and summarization: model complementarity, model diversity, and model representivity. Visual representations are designed and implemented for each of the model spaces. Our visualizations enable the discovery of complementary variables, i.e., those that perform well in modeling different subsets of data points. They also support the isolation of local models based on a diversity measure. Furthermore, the system integrates a hierarchical representation to identify the outlier local trends and the local trends that share similar directions in the model space. A case study on financial risk analysis is discussed, followed by a user study.     

Fear Appeals,Message Processing Cues,and Credibility in the Websites of Violent,Ideological, and Nonideological Groups

Ideological groups use the Internet to deliver their messages unhindered by the constraints of traditional media. We examined how ideological groups promote their worldview through their websites. Using the elaboration likelihood model (ELM), this research used trained coders to examine the websites of nonideological groups (n = 37), nonviolent ideological groups (n = 36), and violent ideological groups (n = 32) for credibility, persuasion processing cues, and interactivity factors. Results of this study found that the websites of violent ideological groups use more fear appeals, were less interactive, and were the least credible of the 3 groups. All 3 groups used more central cues than peripheral suggesting they focused on evidence for their arguments rather than emotion.     

An experimental study of argon condensation in cryogenic shock tubes

Cryogenic shock tubes immersed in liquid nitrogen were used to study condensation onset in argon diluted in helium carrier gas. The condensation in the shock tube expansion fans was detected by light scattering; the pressure was measured and used to calculate temperature, assuming isentropic flow. Previous studies employing supersonic nozzles at higher initial temperatures produced substantial supersaturation at the onset of condensation and agreed well with theory. In contrast, the shock tube experiments showed condensation at states close to equilibrium saturation, having temperatures from 47 to 76 K and pressures from 1 to 166 torr. Possible explanations of the discrepancy require consideration of differences between the two methods in cooling rates and initial temperatures in conjunction with the theory of homogeneous nucleation.     

Robust camera model identification using demosaicing residual features

Multimedia Tools and Applications - In this paper, we propose a new framework for performing accurate and robust camera model identification by fully exploiting demosaicing information in a...     

Estimation of impact forces during multi-point collisions involving small deformations

Multibody System Dynamics - Collision between hard objects causes abrupt changes in the velocities of the system, which are characterized by very large contact forces over very small time...